Avoiding Conflicting Assertions: Approaches to Developing Consistent Test Implementations.
نویسندگان
چکیده
منابع مشابه
Approaches to Corruption in the Developing Countries
This article mainly seeks to provide a framework to help us reach a better understanding of the nature, causes and grounds of increasing administrative corruption in developing countries. In this regard, the author identifies six approaches to administrative corruption and surveys issues related to the rise of corruption within these context. These approaches include cost-benefit, relative depr...
متن کاملConsistent Implementations of Replicated Objects
Shared objects are used in the distributed environment for synchronization, date sharing and service provision. They are usually replicated in a distributed system for higher availability and fault tolerance. Coherent or strongly consistent implementation of replicated objects has been studied extensively in the literature. This paper concentrates on a general method for specifying and implemen...
متن کاملSymbolism and enactivism: an experimental test of conflicting approaches to artificial intelligence
One does not have to go very far into the subject of artificial intelligence (AI) before deep philosophical issues start to surface. The Turing test, the frame problem, the Chinese room argument, symbol grounding, the role of representation: these are just a few of the topics that have generated intense discussion and debate over the years. One particular controversy surrounds symbolism: whethe...
متن کاملDeveloping Scheduler Test Cases to Verify Scheduler Implementations in Time- Triggered Embedded Systems
Despite that there is a “one-to-many” mapping between scheduling algorithms and scheduler implementations, only a few studies have discussed the challenges and consequences of translating between these two system models. There has been an argument that a wide gap exists between scheduling theory and scheduling implementation in practical systems, where such a gap must be bridged to obtain an ef...
متن کاملApplying adaptive test cases to nondeterministic implementations
The testing of a state-based system involves the application of sequences of inputs and the observation of the resultant input/output sequences (traces). These traces can result from preset input sequences or adaptive test cases in which the choice of the next input depends on the trace that has observed up to that input. Adaptive test cases are used in a number of areas including protocol conf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Biodiversity Information Science and Standards
سال: 2018
ISSN: 2535-0897
DOI: 10.3897/biss.2.25324